DIR: more lemmas

DIR: realizability

DIR: knowledge-based

DIR: event-correlation

DIR: code-generation

DIR: documentation